A. S. Troelstra, D. van Dalen; "Constructivism in mathematics"